Optimal. Leaf size=139 \[ -\frac{2}{5} (\cot (x)+1)^{5/2}+2 \sqrt{\cot (x)+1}-\sqrt{\sqrt{2}-1} \tan ^{-1}\left (\frac{\left (1-\sqrt{2}\right ) \cot (x)-2 \sqrt{2}+3}{\sqrt{2 \left (5 \sqrt{2}-7\right )} \sqrt{\cot (x)+1}}\right )-\sqrt{1+\sqrt{2}} \tanh ^{-1}\left (\frac{\left (1+\sqrt{2}\right ) \cot (x)+2 \sqrt{2}+3}{\sqrt{2 \left (7+5 \sqrt{2}\right )} \sqrt{\cot (x)+1}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.234766, antiderivative size = 139, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 7, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.538, Rules used = {3543, 3482, 12, 3536, 3535, 203, 207} \[ -\frac{2}{5} (\cot (x)+1)^{5/2}+2 \sqrt{\cot (x)+1}-\sqrt{\sqrt{2}-1} \tan ^{-1}\left (\frac{\left (1-\sqrt{2}\right ) \cot (x)-2 \sqrt{2}+3}{\sqrt{2 \left (5 \sqrt{2}-7\right )} \sqrt{\cot (x)+1}}\right )-\sqrt{1+\sqrt{2}} \tanh ^{-1}\left (\frac{\left (1+\sqrt{2}\right ) \cot (x)+2 \sqrt{2}+3}{\sqrt{2 \left (7+5 \sqrt{2}\right )} \sqrt{\cot (x)+1}}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3543
Rule 3482
Rule 12
Rule 3536
Rule 3535
Rule 203
Rule 207
Rubi steps
\begin{align*} \int \cot ^2(x) (1+\cot (x))^{3/2} \, dx &=-\frac{2}{5} (1+\cot (x))^{5/2}-\int (1+\cot (x))^{3/2} \, dx\\ &=2 \sqrt{1+\cot (x)}-\frac{2}{5} (1+\cot (x))^{5/2}-\int \frac{2 \cot (x)}{\sqrt{1+\cot (x)}} \, dx\\ &=2 \sqrt{1+\cot (x)}-\frac{2}{5} (1+\cot (x))^{5/2}-2 \int \frac{\cot (x)}{\sqrt{1+\cot (x)}} \, dx\\ &=2 \sqrt{1+\cot (x)}-\frac{2}{5} (1+\cot (x))^{5/2}-\frac{\int \frac{-1-\left (-1-\sqrt{2}\right ) \cot (x)}{\sqrt{1+\cot (x)}} \, dx}{\sqrt{2}}+\frac{\int \frac{-1-\left (-1+\sqrt{2}\right ) \cot (x)}{\sqrt{1+\cot (x)}} \, dx}{\sqrt{2}}\\ &=2 \sqrt{1+\cot (x)}-\frac{2}{5} (1+\cot (x))^{5/2}-\left (-4+3 \sqrt{2}\right ) \operatorname{Subst}\left (\int \frac{1}{2 \left (-1+\sqrt{2}\right )-4 \left (-1+\sqrt{2}\right )^2+x^2} \, dx,x,\frac{1-2 \left (-1+\sqrt{2}\right )-\left (-1+\sqrt{2}\right ) \cot (x)}{\sqrt{1+\cot (x)}}\right )+\left (4+3 \sqrt{2}\right ) \operatorname{Subst}\left (\int \frac{1}{2 \left (-1-\sqrt{2}\right )-4 \left (-1-\sqrt{2}\right )^2+x^2} \, dx,x,\frac{1-2 \left (-1-\sqrt{2}\right )-\left (-1-\sqrt{2}\right ) \cot (x)}{\sqrt{1+\cot (x)}}\right )\\ &=-\sqrt{-1+\sqrt{2}} \tan ^{-1}\left (\frac{3-2 \sqrt{2}+\left (1-\sqrt{2}\right ) \cot (x)}{\sqrt{2 \left (-7+5 \sqrt{2}\right )} \sqrt{1+\cot (x)}}\right )-\sqrt{1+\sqrt{2}} \tanh ^{-1}\left (\frac{3+2 \sqrt{2}+\left (1+\sqrt{2}\right ) \cot (x)}{\sqrt{2 \left (7+5 \sqrt{2}\right )} \sqrt{1+\cot (x)}}\right )+2 \sqrt{1+\cot (x)}-\frac{2}{5} (1+\cot (x))^{5/2}\\ \end{align*}
Mathematica [C] time = 0.297677, size = 96, normalized size = 0.69 \[ \frac{\sin (x) \left (-\frac{2}{5} \sin (x) (\cot (x)+1)^{5/2} \left (2 \cot (x)+\csc ^2(x)-5\right )-2 \sin (x) (\cot (x)+1)^2 \left (\frac{\tanh ^{-1}\left (\frac{\sqrt{\cot (x)+1}}{\sqrt{1-i}}\right )}{\sqrt{1-i}}+\frac{\tanh ^{-1}\left (\frac{\sqrt{\cot (x)+1}}{\sqrt{1+i}}\right )}{\sqrt{1+i}}\right )\right )}{(\sin (x)+\cos (x))^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.035, size = 265, normalized size = 1.9 \begin{align*} -{\frac{2}{5} \left ( 1+\cot \left ( x \right ) \right ) ^{{\frac{5}{2}}}}+2\,\sqrt{1+\cot \left ( x \right ) }-{\frac{\sqrt{2+2\,\sqrt{2}}\sqrt{2}}{4}\ln \left ( 1+\cot \left ( x \right ) +\sqrt{2}+\sqrt{1+\cot \left ( x \right ) }\sqrt{2+2\,\sqrt{2}} \right ) }-{\frac{\sqrt{2}}{\sqrt{-2+2\,\sqrt{2}}}\arctan \left ({\frac{1}{\sqrt{-2+2\,\sqrt{2}}} \left ( 2\,\sqrt{1+\cot \left ( x \right ) }+\sqrt{2+2\,\sqrt{2}} \right ) } \right ) }+2\,{\frac{1}{\sqrt{-2+2\,\sqrt{2}}}\arctan \left ({\frac{2\,\sqrt{1+\cot \left ( x \right ) }+\sqrt{2+2\,\sqrt{2}}}{\sqrt{-2+2\,\sqrt{2}}}} \right ) }+{\frac{\sqrt{2+2\,\sqrt{2}}\sqrt{2}}{4}\ln \left ( 1+\cot \left ( x \right ) +\sqrt{2}-\sqrt{1+\cot \left ( x \right ) }\sqrt{2+2\,\sqrt{2}} \right ) }-{\frac{\sqrt{2}}{\sqrt{-2+2\,\sqrt{2}}}\arctan \left ({\frac{1}{\sqrt{-2+2\,\sqrt{2}}} \left ( 2\,\sqrt{1+\cot \left ( x \right ) }-\sqrt{2+2\,\sqrt{2}} \right ) } \right ) }+2\,{\frac{1}{\sqrt{-2+2\,\sqrt{2}}}\arctan \left ({\frac{2\,\sqrt{1+\cot \left ( x \right ) }-\sqrt{2+2\,\sqrt{2}}}{\sqrt{-2+2\,\sqrt{2}}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (\cot{\left (x \right )} + 1\right )^{\frac{3}{2}} \cot ^{2}{\left (x \right )}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (\cot \left (x\right ) + 1\right )}^{\frac{3}{2}} \cot \left (x\right )^{2}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]